module SamePkgAddr::empty {
}
